<HTML><HEAD><TITLE>http_compile(+Url)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(http_client)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>http_compile(+Url)</H1>
Compile an ECLiPSe source file, given its URL
<DL>
<DT><EM>Url</EM></DT>
<DD>A string
</DD>
</DL>
<H2>Description</H2>
This utility downloads an eclipse source file (given its URL)
    and compiles it. Note that this represents a security risk: the downloaded
    code may contain Eclipse commands that are executed on your computer.
    Make sure you trust the code that you download!
<H3>Modules</H3>
This predicate is sensitive to its module context (tool predicate, see @/2).
<H2>Examples</H2>
<PRE>
    [eclipse 1]: lib(http_client).
    yes.
    [eclipse 2]: http_compile("http://icparc.ic.ac.uk/eclipse/examples/sendmore.pl").
    yes.
    [eclipse 8]: sendmore1(X).
    X = [9, 5, 6, 7, 1, 0, 8, 2]     More? (;) 
    no (more) solution.
    </PRE>

</BODY></HTML>
